#ifndef __LIB_KERNEL_PRINT_H
#define __LIB_KERNEL_PRINT_H

#include "stdint.h"

void put_char(uint8_t char_asci);
void put_str(char* message);
/* 16进制打印 */
void put_int_x(uint32_t num);
/* 10进制打印 */
void put_int_d(uint32_t num);
#endif